Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства
3
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan
Година:
2004
Език:
english
Файл:
PDF, 2.46 MB
0 / 0
english, 2004
5
Programming methodology

Programming methodology

Carroll Morgan, Annabelle McIver
Година:
2003
Език:
english
Файл:
DJVU, 3.55 MB
0 / 4.5
english, 2003
6
The Science Of Quantitative Information Flow

The Science Of Quantitative Information Flow

Mário S. Alvim, Konstantinos, Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith
Година:
2020
Език:
english
Файл:
PDF, 8.12 MB
0 / 0
english, 2020
7
Programming Methodology

Programming Methodology

Annabelle McIver, Carroll Morgan (eds.)
Година:
2003
Език:
english
Файл:
PDF, 11.96 MB
0 / 0
english, 2003
8
Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

McIver, Annabelle, Morgan, Charles C
Година:
2005
Език:
english
Файл:
PDF, 1.72 MB
0 / 0
english, 2005